Fixed ia64 compilation issues and also change xen/ia64 to use one single,
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 11 Jan 2006 10:09:17 +0000 (11:09 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 11 Jan 2006 10:09:17 +0000 (11:09 +0100)
commit824e2dc2440e97ef3e807e8ee6d4c1d678dfdd58
treeb4f5ff8bdcb1ec7fa859169abdbabe130a4d93bd
parent8aa806e0b1bd15ac97bcd43d77f46be5c03e07ff
Fixed ia64 compilation issues and also change xen/ia64 to use one single,
multi-cpu, idle domain created dynamically correspondingly. Only
difference is vcpu0 of idle domain is still built at compilation phase,
due to some code copied from Linux requiring that.

Signed-off-by Kevin Tian <Kevin.tian@intel.com>
xen/arch/ia64/linux-xen/smpboot.c
xen/arch/ia64/xen/domain.c
xen/arch/ia64/xen/idle0_task.c
xen/arch/ia64/xen/xensetup.c
xen/include/asm-ia64/config.h
xen/include/public/arch-ia64.h